Teorema d'existència d'ideals maximals.